منابع مشابه
Un langage algébrique particulier
— 11 is well-known that thefamily of context-free languages is a full principal AFL. It thus contains a largestfûll sub-AFL, denoted Nge, consisting ofthe languages which are notfull generators. One ofthe major problems (still unsolved) is to know whether this AFL is principal or not. The main resuit in this direction states that Ngestrictly contains thefamily Gre ofthe Greibach languages ( — t...
متن کاملSgmlQL, un langage d'interrogation de documents SGML
Résumé. Nous présentons dans cet article le langage que nous avons conçu pour manipuler des documents SGML. Ce langage nommé SgmlQL est une extension du langage de requêtes orienté-objet OQL. SgmlQL permet de construire de nouveaux documents à partir d'éléments extraits des documents manipulés, soit en les assemblant, soit en modifiant leur structure. Pour extraire ces éléments, SgmlQL est muni...
متن کاملSur un Cas Particulier de la Conjecture de Cerny
Let A be a finite automaton. We are concerned with the minimal length of the words that send all states on a unique state (synchronizing words). J. Černý has conjectured that, if there exists a synchronizing word in A, then there exists such a word with length 6 (n − 1) where n is the number of states of A. As a generalization, we conjecture that, if there exists a word of rank 6 k in A, there ...
متن کاملDensité des points rationnels sur un groupe algébrique
Dans la section 4f concernant plusieurs plonge-l distincts de Z l est encore distincte de Z l : si B est une variitt ablienne sur un corps K, et si est un sous-groupe de B(K) Zariski dense dans B, il existe 2 qui engendre un sous-groupe Z Zariski dense dans B.. Comme me l'a fait remarquer J-P. Serre, Z 2 est rrunion de trois sous-groupes d'indice 2, tels que (2Z)Z, Z(2Z) et Z(1; 1)+Z(1; 1). D'a...
متن کاملApproche algébrique du typage d'un langage à la ML avec objets, sous-typage et multi-méthodes
class ObjetColoré { c : Couleur; } ObjetColoré·c : ObjetColoré 7→ Couleur class Point { x : int; y : int; } Point·x : Point 7→ int Point·y : Point 7→ int class PointColoré v Point,ObjetColoré {} PointColoré·x : PointColoré 7→ int PointColoré·y : PointColoré 7→ int PointColoré·c : PointColoré 7→ Couleur class List〈α⊕〉 {} class Cons〈α⊕〉 v List { head : α; tail : C List〈α〉; } ∀t,Cons·head : Cons〈t...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: RAIRO. Informatique théorique
سال: 1979
ISSN: 0399-0540
DOI: 10.1051/ita/1979130302031